Decidable fan theorem and uniform continuity theorem with continuous moduli

Constructive Equivalents of the Uniform Continuity Theorem

For the purpose of constructive reverse mathematics, we show the equivalence of the uniform continuity theorem to a series of propositions; this illuminates the relationship between Brouwer’s fan theorem and the uniform continuity theorem.

Fuzzy Uniform Continuity Theorem along with Fuzzy Continuous in a Fuzzy Normed Linear Space

Fan-KKM Theorem in Minimal Vector Spaces and its Applications

In this paper, after reviewing some results in minimal space, some new results in this setting are given. We prove a generalized form of the Fan-KKM typetheorem in minimal vector spaces. As some applications, the open type of matching theorem and generalized form of the classical KKM theorem in minimal vector spaces are given.

The fan theorem

A Zq-Fan theorem

In 1952, Ky Fan proved a combinatorial theorem generalizing the Borsuk-Ulam theorem stating that there is no Z2-equivariant map from the d-dimensional sphere S to the (d − 1)-dimensional sphere Sd−1. The aim of the present paper is to provide the same kind of combinatorial theorem for Dold's theorem, which is a generalization of the Borsuk-Ulam theorem when Z2 is replaced by Zq, and the spheres...